Phil McMinn: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques

Mahajan, Sonal, Alameer, Abdulmajeed, McMinn, Phil, Halfond, William G. J.

Year:

2018

Language:

english

File:

PDF, 379 KB

english, 2018

2

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem

Harman, Mark, Kim, Sung Gon, Lakhotia, Kiran, McMinn, Phil, Yoo, Shin

Year:

2010

Language:

english

File:

PDF, 445 KB

english, 2010

3

Random or evolutionary search for object-oriented test suite generation?

Shamshiri, Sina, Rojas, José Miguel, Gazzola, Luca, Fraser, Gordon, McMinn, Phil, Mariani, Leonardo, Arcuri, Andrea

Journal:

Software Testing, Verification and Reliability

Year:

2018

Language:

english

File:

PDF, 2.24 MB

english, 2018

4

Search-based software test data generation: a survey

Journal:

Software Testing, Verification and Reliability

Year:

2004

Language:

english

File:

PDF, 449 KB

english, 2004

5

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Search-Based Software Testing: Past, Present and Future

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

6

An orchestrated survey of methodologies for automated software test case generation

Anand, Saswat, Burke, Edmund K., Chen, Tsong Yueh, Clark, John, Cohen, Myra B., Grieskamp, Wolfgang, Harman, Mark, Harrold, Mary Jean, McMinn, Phil

Journal:

Journal of Systems and Software

Year:

2013

Language:

english

File:

PDF, 585 KB

english, 2013

7

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Does automated white-box test generation really help software testers?

Fraser, Gordon, Staats, Matt, McMinn, Phil, Arcuri, Andrea, Padberg, Frank

Year:

2013

Language:

english

File:

PDF, 615 KB

english, 2013

8

The Oracle Problem in Software Testing: A Survey

Barr, Earl T., Harman, Mark, McMinn, Phil, Shahbaz, Muzammil, Yoo, Shin

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 850 KB

english, 2015

9

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas

Alsharif, Abdullah, Kapfhammer, Gregory M., McMinn, Phil

Year:

2018

Language:

english

File:

PDF, 222 KB

english, 2018

10

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Automatic Visual Verification of Layout Failures in Responsively Designed Web Pages

Althomali, Ibrahim, Kapfhammer, Gregory M., McMinn, Phil

Year:

2019

Language:

english

File:

PDF, 44 KB

english, 2019

11

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) - Simulating Student Mistakes to Evaluate the Fairness of Automated Grading

Clegg, Benjamin, North, Siobhan, McMinn, Phil, Fraser, Gordon

Year:

2019

Language:

english

File:

PDF, 123 KB

english, 2019

12

[IEEE 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Cleveland, OH, USA (2019.9.29-2019.10.4)] 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) - What Factors Make SQL Test Cases Understandable for Testers? A Human Study of Automated Test Data Generation Techniques

Alsharif, Abdullah, Kapfhammer, Gregory M., McMinn, Phil

Year:

2019

File:

PDF, 200 KB

2019

13

[IEEE 2020 IEEE 32nd International Conference on Software Engineering Education and Training (CSEE&T) - Munich, Germany (2020.11.9-2020.11.12)] 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T) - The Influence of Test Suite Properties on Automated Grading of Programming Exercises

Clegg, Benjamin S., McMinn, Phil, Fraser, Gordon

Year:

2020

File:

PDF, 691 KB

2020

14

Validation and discovery from computational biology models

Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe

Journal:

Year:

2008

Language:

english

File:

PDF, 923 KB

english, 2008

15

TAIC PART 2007 and Mutation 2007 special issue editorial

Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John Clark

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 119 KB

english, 2009

16

Editorial: Addressing industrial challenges—UKTest 2005 and beyond

Phil McMinn, Robert M. Hierons

Journal:

Software Testing, Verification and Reliability

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

17

Editorial: Testing practice and research

Mark Harman, Zheng Li, Phil McMinn

Journal:

Software Testing, Verification and Reliability

Year:

2008

Language:

english

File:

PDF, 54 KB

english, 2008

18

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

Kiran Lakhotia, Phil McMinn, Mark Harman

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 899 KB

english, 2010

19

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Symbolic search-based testing

Baars, Arthur, Harman, Mark, Hassoun, Youssef, Lakhotia, Kiran, McMinn, Phil, Tonella, Paolo, Vos, Tanja

Year:

2011

Language:

english

File:

PDF, 512 KB

english, 2011

20

An identification of program factors that impact crossover performance in evolutionary test input generation for the branch coverage of C programs

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 1.62 MB

english, 2013

21

An integrated systems biology approach to understanding the rules of keratinocyte colony formation

Sun, Tao, McMinn, Phil, Coakley, Simon, Holcombe, Mike, Smallwood, Rod, MacNeil, Sheila

Journal:

Journal of The Royal Society Interface

Year:

2007

Language:

english

File:

PDF, 743 KB

english, 2007

22

Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions

Shahbaz, Muzammil, McMinn, Phil, Stevenson, Mark

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.22 MB

english, 2015

23

A Memetic Algorithm for whole test suite generation

Fraser, Gordon, Arcuri, Andrea, McMinn, Phil

Journal:

Journal of Systems and Software

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

24

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems

Kapfhammer, Gregory M., McMinn, Phil, Wright, Chris J.

Year:

2013

Language:

english

File:

PDF, 241 KB

english, 2013

25

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?

Lakhotia, Kiran, McMinn, Phil, Harman, Mark

Year:

2009

Language:

english

File:

PDF, 454 KB

english, 2009

26

[IEEE 2011 IEEE Congress on Evolutionary Computation (CEC) - New Orleans, LA, USA (2011.06.5-2011.06.8)] 2011 IEEE Congress of Evolutionary Computation (CEC) - A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications

Adra, Salem F., Kiran, Mariam, McMinn, Phil, Walkinshaw, Neil

Year:

2011

Language:

english

File:

PDF, 486 KB

english, 2011

27

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Mutation Operators for Agent-Based Models

Adra, Salem F., McMinn, Phil

Year:

2010

Language:

english

File:

PDF, 439 KB

english, 2010

28

[IEEE 2010 Second International Symposium on Search Based Software Engineering (SSBSE) - Benevento, Italy (2010.09.7-2010.09.9)] 2nd International Symposium on Search Based Software Engineering - How Does Program Structure Impact the Effectiveness of the Crossover Operator in Evolutionary Testing?

Year:

2010

Language:

english

File:

PDF, 1.75 MB

english, 2010

29

[ACM Press the 12th annual conference - Portland, Oregon, USA (2010.07.07-2010.07.11)] Proceedings of the 12th annual conference on Genetic and evolutionary computation - GECCO '10 - Superstate identification for state machines using search-based clustering

Hall, Mathew, McMinn, Phil, Walkinshaw, Neil

Year:

2010

Language:

english

File:

PDF, 1.28 MB

english, 2010

30

[ACM Press Proceeding of the fifteenth annual conference - Amsterdam, The Netherlands (2013.07.06-2013.07.10)] Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13 - Test suite generation with memetic algorithms

Fraser, Gordon, Arcuri, Andrea, McMinn, Phil

Year:

2013

Language:

english

File:

PDF, 481 KB

english, 2013

31

[ACM Press the 9th annual conference - London, England (2007.07.07-2007.07.11)] Proceedings of the 9th annual conference on Genetic and evolutionary computation - GECCO '07 - A multi-objective approach to search-based test data generation

Lakhotia, Kiran, Harman, Mark, McMinn, Phil

Year:

2007

Language:

english

File:

PDF, 255 KB

english, 2007

32

[ACM Press the 11th Annual conference - Montreal, Québec, Canada (2009.07.08-2009.07.12)] Proceedings of the 11th Annual conference on Genetic and evolutionary computation - GECCO '09 - Search-based failure discovery using testability transformations to generate pseudo-oracles

Year:

2009

Language:

english

File:

PDF, 515 KB

english, 2009

33

[ACM Press the 10th annual conference - Atlanta, GA, USA (2008.07.12-2008.07.16)] Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08 - Handling dynamic data structures in search based testing

Lakhotia, Kiran, Harman, Mark, McMinn, Phil

Year:

2008

Language:

english

File:

PDF, 336 KB

english, 2008

34

[ACM Press the Eighth International Workshop - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the Eighth International Workshop on Dynamic Analysis - WODA '10 - Using compression algorithms to support the comprehension of program traces

Walkinshaw, Neil, Afshan, Sheeva, McMinn, Phil

Year:

2010

Language:

english

File:

PDF, 1.20 MB

english, 2010

35

Empirical evaluation of a nesting testability transformation for evolutionary testing

McMinn, Phil, Binkley, David, Harman, Mark

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2009

Language:

english

File:

PDF, 795 KB

english, 2009

36

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Search-Based Test Input Generation for String Data Types Using the Results of Web Queries

McMinn, Phil, Shahbaz, Muzammil, Stevenson, Mark

Year:

2012

Language:

english

File:

PDF, 324 KB

english, 2012

37

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - The species per path approach to SearchBased test data generation

McMinn, Phil, Harman, Mark, Binkley, David, Tonella, Paolo

Year:

2006

Language:

english

File:

PDF, 712 KB

english, 2006

38

[ACM Press Proceeding of the fifteenth annual conference - Amsterdam, The Netherlands (2013.07.06-2013.07.10)] Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13 - A theoretical runtime and empirical analysis of different alternating variable searches for search-based testing

Kempka, Joseph, McMinn, Phil, Sudholt, Dirk

Year:

2013

Language:

english

File:

PDF, 667 KB

english, 2013

39

[IEEE 2012 IEEE International Conference on Software Maintenance (ICSM) - Trento, Italy (2012.09.23-2012.09.28)] 2012 28th IEEE International Conference on Software Maintenance (ICSM) - Supervised software modularisation

Hall, Mathew, Walkinshaw, Neil, McMinn, Phil

Year:

2012

Language:

english

File:

PDF, 557 KB

english, 2012

40

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost

Afshan, Sheeva, McMinn, Phil, Stevenson, Mark

Year:

2013

Language:

english

File:

PDF, 615 KB

english, 2013

41

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Search-Based Propagation of Regression Faults in Automated Regression Testing

Shamshiri, Sina, Fraser, Gordon, Mcminn, Phil, Orso, Alessandro

Year:

2013

Language:

english

File:

PDF, 155 KB

english, 2013

42

[ACM Press the First International Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the First International Workshop on Software Test Output Validation - STOV '10 - Reducing qualitative human oracle costs associated with automatically generated test data

McMinn, Phil, Stevenson, Mark, Harman, Mark

Year:

2010

Language:

english

File:

PDF, 149 KB

english, 2010

43

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation

Harman, Mark, McMinn, Phil

Year:

2007

Language:

english

File:

PDF, 552 KB

english, 2007

44

[ACM Press the 2005 conference - Washington DC, USA (2005.06.25-2005.06.29)] Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05 - Evolutionary testing of state-based programs

McMinn, Phil, Holcombe, Mike

Year:

2005

Language:

english

File:

PDF, 177 KB

english, 2005

45

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - The impact of input domain reduction on search-based test data generation

Harman, Mark, Hassoun, Youssef, Lakhotia, Kiran, McMinn, Phil, Wegener, Joachim

Year:

2007

Language:

english

File:

PDF, 491 KB

english, 2007

46

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation

Wright, Chris J., Kapfhammer, Gregory M., McMinn, Phil

Year:

2013

Language:

english

File:

PDF, 239 KB

english, 2013

47

[IEEE 2014 14th International Conference on Quality Software (QSIC) - Allen, TX, USA (2014.10.2-2014.10.3)] 2014 14th International Conference on Quality Software - The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis

Wright, Chris J., Kapfhammer, Gregory M., McMinn, Phil

Year:

2014

Language:

english

File:

PDF, 220 KB

english, 2014

48

[ACM Press the 2015 - Madrid, Spain (2015.07.11-2015.07.15)] Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15 - Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation?

Shamshiri, Sina, Rojas, José Miguel, Fraser, Gordon, McMinn, Phil

Year:

2015

Language:

english

File:

PDF, 913 KB

english, 2015

49

Design and analysis of different alternating variable searches for search-based software testing

Kempka, Joseph, McMinn, Phil, Sudholt, Dirk

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.37 MB

english, 2015

50

The management of patients with aortic regurgitation and severe left ventricular dysfunction: a systematic review

Badar, Athar A, Brunton, Alan PT, Mahmood, Ammad H, Dobbin, Stephen, Pozzi, Andrea, McMinn, Jenna F, Sinclair, Andrew JE, Gardner, Roy S, Petrie, Mark C, Curry, Phil A, Al-Attar, Nawwar HK, Pettit, St

Journal:

Expert Review of Cardiovascular Therapy

Year:

2015

Language:

english

File:

PDF, 588 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски